\documentclass{article}
%\usepackage{times}
\usepackage{amsfonts}
\usepackage[utf8]{inputenc}
\usepackage[a4paper]{geometry}
 \usepackage{verbatim}
\geometry{top=1.0in, bottom=1.0in, left=1.0in, right=1.0in}
\title{Master of Science in Applied Mathematical Analysis and Bachelor in Computer Science seeks business development graduate position}
\begin{document}
\maketitle
\begin{comment}
\centerline{\Large Master of Science in Applied Mathematical Analysis}
\medskip
\centerline{\Large and Bachelor in Computer Science seeks business}
\medskip
\centerline{\Large development graduate position}
\bigskip
\bigskip
\end{comment}
My name is Mathias Andersen, I am 28 years old, live in Aalborg and is currently studying computer science at Aalborg University. I hereby apply for the business development graduate position at Group IT. 
\\

In 2008 i graduated from Aalborg University and received a masters degree in mathematical analysis. 
%My master thesis is titled "Regularity of Solutions to Schr\"{o}dingers Equation with the Coulomb Potential". The most important result in the thesis is that a solution to the Schr\"{o}dinger equation is actually continuous. The thesis is an expanded version of another article by Thomas Østergaard Sørensen. 

After graduating I worked as a math teacher at Randers Statsskole Gymnasium, and after that I worked as a web developer at the Nørresundby based company UVdata A/S. In 2010 I started studying computer science at Aalborg University and I will become a bachelor in computer science this summer.
\\

I am currently working on an interesting research project in the domain of formal verification. Basically my project group is trying to refine an existing verification engine to run faster on a restricted set of models. The engine is implemented in C++ since we need the execution to be as fast as possible. Simultaneously we are writing a paper that aims to document that the algorithm is indeed correct. We hope that the paper will be accepted for publication at the end of the semester. 

I currently work at Aalborg University as a student programmer. The verification engine mentioned above is built into a TOOL called TAPAAL. The GUI is implemented in Java Swing. My responsibilities are implementing new features and fixing bugs. 
\\

My current and last semester at Aalborg University has two very interesting courses: Software engineering and Software innovation. The experiences I gain from these two courses will undoubtedly be invaluable in my future career in the IT business. In connection with the course in software engineering we had a guest lecturer from Danske Bank who talked about how Danske Bank is incorporating agile practises into the organisation. I got the impression that there is a strong focus on the process in Danske Bank and I think this is a sign of a healthy approach to IT development. 
\\
%I am currently working on an interesting project in the domain of formal verification. The reader might be familiar with the tool TAPAAL; it is a modelling, simulation and verification tool for timed-arc Petri nets, developed at Aalborg University. When we perform formal verification on the subset of timed-arc Petri nets that has only non-strict age guards we only have to consider integer delays. The goal of the project is to develop a formal discrete semantics for timed-arc Petri nets and to design an efficient algorithm for verification. This algorithm will be implemented in c++, and it is our goal that it will be able to perform verification faster than the original algorithm.


I am excited to become part of the link between business and Group IT. I like to have a facilitating role in the development process and I would like to be a consultant or project manager sometime in the future. It seems to me that the business development group is the right place to start. 

I have very good analytical skills and finding solutions to complex problems is my speciality. Working in a diverse environment with English as the language of choice will not be a challenge for me; Aalborg University is a very multi ethnic place. All lectures are in English and last year half of my project group was foreigners. 
\\
%I would like to do research in the field of formal verification of hybrid systems. This is a very active research area and the theory relies on mathematical analysis, in particular the study of differential equations. A large portion of my studies at the institute of mathematics at Aalborg university was devoted to differential equations, function spaces, operators etc., and thus it is a field in which I am particularly skill

I am experienced in Java and C\# and have some experience with C and C++. The website I designed at UVdata was implemented in Umbraco, which is a CMS built on top of ASP.NET. I am a proponent of test driven development, and passionate about high quality code. 
\\ 

I would like to work in Aarhus. I live in Aalborg and my family and friends live in North Jutland. If I should be employed in Danske Bank I would be looking to move to Aarhus. I will be looking forward to hearing from you.
\\

%During the DAT2 semester my project group implemented an interpreter for a mathematical programming language that we had designed ourselves. The interpreter is implemented in Java and the language is a mix of Matlab, bc and Maple where the focus is on conveniently performing matrix manipulations. The programming language is not as sophisticated as neither Matlab or Maple, but it is quite convenient to use for small tasks involving matrix operations. I like to construct tools that can be put to practical use. As mentioned above I am currently coding in c++.
 

%My motivation for seeking a PhD position is that I enjoy working on open and challenging problems and my favourite thing about scientific research is that we move around in uncharted territory and make up the rules as we go along. I am also fond of having a mix of programming tasks and theoretical work. 


%I am quite open about what kind of projects to work on in connection with a PhD study. My main priority is to be involved in serious research and it would be nice if I could put my experience in the field of mathematical analysis to good use. 

Best regards Mathias Andersen


\end{document}


